Congruence quasi-orderability in subtractive varieties
نویسندگان
چکیده
منابع مشابه
Quasi-subtractive varieties
Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects: e.g. normal subgroups of groups, two-sided ideals of rings, lters (or ideals) of Boolean algebras. Abstract algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A...
متن کاملCongruence semimodular varieties I: Locally finite varieties
The lattice of closed subsets of a set under such a closure operator is semimodular. Perhaps the best known example of a closure operator satisfying the exchange principle is the closure operator on a vector space W where for X ___ W we let C(X) equal the span of X. The lattice of C-closed subsets of W is isomorphic to Con(W) in a natural way; indeed, if Y _~ W x W and Cg(Y) denotes the congrue...
متن کاملVarieties of Algebras and their Congruence Varieties
1. Congruence lattices. G. Birkhoff and O. Frink noted that the congruence lattice Con04) of an algebra A (with operations of finite rank) is algebraic or compactly generated. The celebrated Grätzer-Schmidt theorem states that, conversely, every algebraic lattice is isomorphic to Con(A) for some algebra A. The importance of this is obvious, for it shows that unless something more is known about...
متن کاملCongruence semimodular varieties II: Regular varieties
In [8], P. Jones characterized the regular varieties of semigroups which are congruence semimodular and he partially solved the problem of characterizing the non-regular, congruence semimodular (CSM) varieties of semigroups. For regular varieties his characterization was an equational one, so necessarily a part of his argument was semigroup-theoretic. But some of his argument involved only cong...
متن کاملFinitely Decidable Congruence Modular Varieties
A class TZ~ of algebras of the same type is said to be finitely decidable iff the first order theory of the class of finite members of 'V is decidable. Let y be a congruence modular variety. In this paper we prove that if "V is finitely decidable, then the following hold. (1) Each finitely generated subvariety of 2^ has a finite bound on the cardinality of its subdirectly irreducible members. (...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society
سال: 2001
ISSN: 1446-7887,1446-8107
DOI: 10.1017/s1446788700003025